"L'amélanchier" : un fragment autobiographique

Un petit cercle, un grand exemple (دایره‌ای کوچک، سرمشقی بزرگ )

نام هانری کربن با دو دایره گره خورده است: دایرة ارانوس و دایرة تهران؛ دایره‌هایی که مطابق منظر کربن، می‌توان آنها را به‌درستی رمزی و مثالی خواند. این مقاله به دایرة تهران اختصاص دارد، دایره‌ای تحقیقی که با حضور اندیشمندانی چند، و با محوریت دو شخصیت از شرق و غرب، علامه سید محمد حسین طباطبایی و هانری کربن، شکل می‌گرفت. برغم همه مشکلات فنی و فیزیکی ارتباط کلامی، این دو مرد، به خوبی با یکدیگر «مقاب...

On the Boundary of (Un)decidability: Decidable Model-Checking for a Fragment of Resource Agent Logic

The model-checking problem for Resource Agent Logic is known to be undecidable. We review existing (un)decidability results and identify a significant fragment of the logic for which model checking is decidable. We discuss aspects which makes model checking decidable and prove undecidability of two open fragments over a class of models in which agents always have a choice of doing nothing.

Fragment 3 Asserted Fragment 2 Asserted Fragment 1 Asserted Assertion F 3 F 1 F 2 Invariant Tuple Space Fragment 3 Fragment 2 Fragment 1 Fragmentation Mapping

Un ectropion urétral peut cacher un carcinome!

The incidence of female urethral cancer is rare and accounts for 0.02% of all women’s cancers. It is dominated by epidermoid carcinoma, which most commonly develops in the distal portion of the urethra, extending to inguinal lymph nodes. The diagnosis is confirmed in the distal forms on the basis of uretrocystoscopy with biopsy. Abdominopelvic MRI allows to determine tumor extension as well as ...

Un pour tous, tous pour un.

Oyez, oyez, chevaliers d'hier et d'aujourd'hui, grands et petits, apprentis ou aguerris, hardis et pleins de vie! Le moment est venu de rallier votre confrérie et de partager votre folie… euh, votre génie… et vos livres chéris… enfin vos aventures, quoi, avec nos jeunes lecteurs qui vous envient et qui, parfois, rêvent qu'ils vous copient! Les bibliothécaires de l'Espace Jeunes, chevaliers émér...